Medical data transformation using rewriting
نویسندگان
چکیده
منابع مشابه
Medical data transformation using rewriting
This paper presents a system for declaratively transforming medical subjects' data into a common data model representation. Our work is part of the "GAAIN" project on Alzheimer's disease data federation across multiple data providers. We present a general purpose data transformation system that we have developed by leveraging the existing state-of-the-art in data integration and query rewriting...
متن کاملStreaming XML Transformation Using Term Rewriting
This paper describes XStream, a Turing-complete programming language which allows the programmer to write XML transformations in a functional tree-processing style and have them evaluated in a streaming way: the output is produced incrementally while the input is still being parsed. The programmer does not need to care explicitly about buffering. We introduce the language, describe some techniq...
متن کاملProgram Transformation and Rewriting
(nil) = nil sigperm(x :: xs) = append(sigrot(x; x); sigperm(xs)) sigrot(x; nil) = nil sigrot(u; x :: xs)) = cond(issig(u); u :: sigrot(rotate(u); xs); sigrot(rotate(u); xs)) 4.4 Third transformation step Our objective is to get rid of the costly occurrences of append in sigperm. We introduce the new denition: sr(x; y; u) = append(sigrot(x; y); u) and the theorem: The complete denition of sigper...
متن کاملImperative Program Transformation by Rewriting
We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expressions with simple patterns to matching blocks in a control flow graph. In order to express the complex restrictions on the applicability of these rewrites we add temporal logic side conditions. The combination of these features...
متن کاملStrongly Typed Rewriting For Coupled Software Transformation
Coupled transformations occur in software evolution when multiple artifacts must be modified in such a way that they remain consistent with each other. An important example involves the coupled transformation of a data type, its instances, and the programs that consume or produce it. Previously, we have provided a formal treatment of transformation of the first two: data types and instances. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Neuroinformatics
سال: 2015
ISSN: 1662-5196
DOI: 10.3389/fninf.2015.00001